Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
HOL Lambda Prolog first-order logic predicate logic BABEL equational logic higher-order macro F-Logic logic Lolli Isabelle Emitter Coupled Logic HiLog LOP TEMPLOG Fresh neutrosophic logic TABLOG Cube OBJ connective Universal algebra Gunning Transceiver Logic quantifier propositional logic Oz Horn clause Subset-Equational Language fix Transistor-Transistor Logic channel service unit EQLog first-order Quest Algebraic Logic Functional language F+L LeFun Programmable Array Logic symbolic logic ML LO classical logic linear logic Wild_LIFE logic emulator intuitionistic logic P-Prolog LNF CHOCS LOGIN intuitionistic probability skolemisation traversal modal logic Distributed Logic Programming logic programming TrafoLa functional {log} Forsythe more...